home *** CD-ROM | disk | FTP | other *** search
/ Atari Mega Archive 1 / Atari Mega Archive - Volume 1.iso / gnu / bash / bash_108 / bash-108.zoo / bash-1.08 / readline / doc / Makefile < prev    next >
Encoding:
Makefile  |  1991-05-01  |  770 b   |  31 lines
  1. # This makefile for Readline library documentation is in -*- text -*- mode.
  2. # Emacs likes it that way.
  3.  
  4. DVIOBJ = readline.dvi history.dvi
  5. INFOBJ = readline.info history.info
  6.  
  7. all: $(DVIOBJ) $(INFOBJ)
  8.  
  9. readline.dvi: rlman.texinfo rluser.texinfo rltech.texinfo
  10.     tex rlman.texinfo
  11.     tex rlman.texinfo
  12.     mv rlman.dvi readline.dvi
  13.  
  14. history.dvi: hist.texinfo hsuser.texinfo hstech.texinfo
  15.     tex hist.texinfo
  16.     tex hist.texinfo
  17.     mv hist.dvi history.dvi
  18.  
  19. readline.info: rlman.texinfo rluser.texinfo rltech.texinfo
  20.     makeinfo rlman.texinfo
  21.  
  22. history.info: hist.texinfo hsuser.texinfo hstech.texinfo
  23.     makeinfo hist.texinfo
  24.  
  25. clean:
  26.     rm -f *.log *.cp *.ky *.tp *.vr *.fn *.aux *.pg *.toc core
  27.  
  28. squeaky-clean:
  29.     rm -f *.log *.cp *.ky *.tp *.vr *.fn *.aux *.pg *.toc core *.dvi *.~* *.info
  30.  
  31.